conditionally sigma-complete

[数] 条件σ完备